Gossler, Gregor: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A general framework for blaming in component-based systems

Gössler, Gregor, Le Métayer, Daniel

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 461 KB

english, 2015

2

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - A correlation preserving performance analysis for stream processing systems

Smeding, Gideon, Gossler, Gregor

Year:

2012

Language:

english

File:

PDF, 382 KB

english, 2012

3

[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Blaming in component-based real-time systems

Gössler, Gregor, Aştefănoaei, Lăcrămioara

Year:

2014

Language:

english

File:

PDF, 330 KB

english, 2014

4

Co-expression of different angiogenic factors in external auditory canal cholesteatoma

Naim, Ramin, Riedel, Frank, Gotte, Karl, Bran, Gregor, Sadick, Haneen, Gossler, Ulrich, Hormann, Karl

Journal:

Acta Oto-Laryngologica

Year:

2004

Language:

english

File:

PDF, 5.85 MB

english, 2004

5

[ACM Press the 17th Annual International Conference - Seoul, Republic of Korea (2019.06.17-2019.06.21)] Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services - MobiSys '19 - SAKURA a Model Based Root Cause Analysis Framework for vIMS

Cherrared, Sihem, Imadali, Sofiane, Fabre, Eric, Gössler, Gregor

Year:

2019

Language:

english

File:

PDF, 1.29 MB

english, 2019

6

Indications of a link between seismotectonics and CH 4 release from seeps off Costa Rica

Mau, Susan, Rehder, Gregor, Arroyo, Ivonne G., Gossler, Jürgen, Suess, Erwin

Journal:

Geochemistry, Geophysics, Geosystems

Year:

2007

Language:

english

File:

PDF, 2.85 MB

english, 2007

7

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Cámara, Javier, Girard, Antoine, Gössler, Gregor

Year:

2011

Language:

english

File:

PDF, 741 KB

english, 2011

8

Composition for component-based modeling

Gregor Gössler, Joseph Sifakis

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 488 KB

english, 2005

9

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - CoSyMA

Mouelhi, Sebti, Girard, Antoine, Gössler, Gregor

Year:

2013

Language:

english

File:

PDF, 2.51 MB

english, 2013

10

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Girard, Antoine, Gössler, Gregor

Journal:

Acta Informatica

Year:

2019

Language:

english

File:

PDF, 648 KB

english, 2019

11

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

Cherrared, Sihem, Imadali, Sofiane, Fabre, Eric, Gossler, Gregor, Yahia, Imen Grida Ben

Journal:

IEEE Transactions on Network and Service Management

Year:

2019

Language:

english

File:

PDF, 4.29 MB

english, 2019

12

Probabilistic contracts for component-based design

Gössler, Gregor, Xu, Dana N., Girault, Alain

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1003 KB

english, 2012

13

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Safety controller synthesis for switched systems using multi-scale symbolic models

Camara, Javier, Girard, Antoine, Gossler, Gregor

Year:

2011

Language:

english

File:

PDF, 400 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски